Systematic Component Adaptation

نویسندگان

  • Andrea Bracciali
  • Antonio Brogi
  • Carlos Canal
چکیده

Component adaptation is widely recognised to be one of the crucial problems in ComponentBased Software Engineering. We present a formal methodology for adapting components with mismatching interaction behaviour. The four main ingredients of the methodology are: (1) The inclusion of behaviour specifications in component interfaces, (2) a simple, high-level notation for expressing adaptor specifications, (3) a fully automated procedure to derive concrete adaptors from given high-level specifications, and (4) an effective technique for verifying properties of adaptors.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An investigating the Compatibility of Breast cancer from a Psychological and Social Perspective: a systematic review of literature

Breast cancer is the most common and fatal cancer among women aged 40 to 55 accounting for more than 23% of all cancers in women. The present study was aimed at offering an overview of recent studies on the psychological and social adaptation to breast cancer compiled through a systematic review of the related literature. Scientific databases including google scholar, PubMed, ScienceDirect, SID...

متن کامل

A Systematic Methodology for Adapting Software Components

Component-based development (CBD) is an effective paradigm for building software systems with reusable assets, where components often come in black-box form and expose interfaces while hiding internal details. Components are reused in developing various applications in a domain. However, the behavior provided by a component may not exactly match to the specification of an expected component. Th...

متن کامل

A systematic review and Qualitative meta-analysis on the Principles and methods of adaptation to Rheumatic disorders

Rheumatic disorders are among the most prevalent chronic diseases of the musculoskeletal system and connective tissue, and they can affect a wide range of age groups. Encompassing a large number of arthritis and autoimmune diseases, they can affect the bones, joints, and other components of the musculoskeletal system, causing morbidity or disability with resultant healthcare utilization. Theref...

متن کامل

Adaptation and reliability of neighborhood environment walkability scale (NEWS) for Iran: A questionnaire for assessing environmental correlates of physical activity

Background: In spite of the increased range of inactivity and obesity among Iranian adults, insufficient research has been done on environmental factors influencing physical activity. As a result adapting a subjective (self-report) measurement tool for assessment of physical environment in Iran is critical. Accordingly, in this study Neighborhood Environment Walkability Scale (NEWS) was adapted...

متن کامل

Towards an Engineering Approach to Component Adaptation

Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from the properties of its constituent components. Thus, a more systematic approach to component adaptation is required when building trustworthy systems. In this paper, we illustrate how (design and architectural) patterns can be use...

متن کامل

A Review on Adaptation of Heart Failure Patients Based on Roy adaptation model: A Review Study

Introduction: Diseases of heart failure are considered as one of the main challenges of health care systems. One of the main components of care models in heart failure is patient involvement. In this regard, the adaptation model (RAM) is one of the most popular and most widely used nursing patterns that specifically address compatibility issues. The purpose of this article is to review the adap...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 66  شماره 

صفحات  -

تاریخ انتشار 2002